$\forall$$r$:Rng, $a$, $b$:$\mid$$r$$\mid$. ($a$ +$r$ $b$) = ($b$ +$r$ $a$) $\in$ $\mid$$r$$\mid$